reducing principle

[计] 可约原理, 归约原理